The CIFF Proof Procedure for Abductive Logic Programming with Constraints
نویسندگان
چکیده
We introduce a new proof procedure for abductive logic programming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abductive reasoning with constraint solving and by relaxing the restrictions on allowed inputs for which the procedure can operate correctly. An implementation of our proof procedure is available and has been applied successfully in the context of
منابع مشابه
The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
We present the CIFF proof procedure for abductive logic programming with constraints, and we prove its correctness. CIFF is an extension of the IFF proof procedure for abductive logic programming, relaxing the original restrictions over variable quantification (allowedness conditions) and incorporating a constraint solver to deal with numerical constraints as in constraint logic programming. Fi...
متن کاملThe CIFF Proof Procedure for Abductive Logic Programming with Constraints: Definition, Implementation and a Web Application
Abduction has found broad application as a powerful tool for hypothetical reasoning with incomplete knowledge, which can be handled by labeling some pieces of information as abducibles, i.e. as possible hypotheses that can be assumed to hold, provided that they are consistent with the given knowledge base. Attempts to make the abductive reasoning an effective computational tool gave rise to Abd...
متن کاملAbductive Logic Programming with CIFF: Implementation and Applications
We describe a system implementing a novel extension of Fung and Kowalski’s IFF abductive proof procedure which we call CIFF, and its application to realise intelligent agents that can construct (partial or complete) plans and react to changes in the environment. CIFF extends the original IFF procedure in two ways: by dealing with constraint predicates and by dealing with non-allowed abductive l...
متن کاملWeb Site Verification and Repair: an Abductive Logic Programming Tool
We present the CIFFWEB system, an innovative tool for the verification and repair of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web site should fulfill and uses abductive reasoning for checking their fulfillment and, if needed, for suggesting repairs to those (parts of the) web sites responsible for violating them. The rules are expres...
متن کاملAbductive Logic Programming with CIFF: System Description
Abduction has long been recognised as a powerful mechanism for hypothetical reasoning in the presence of incomplete knowledge. Here, we discuss the implementation of a novel abductive proof procedure, which we call CIFF, as it extends the IFF proof procedure [7] by dealing with Constraints, as in constraint logic programming. The procedure also relaxes the strong allowedness restrictions on abd...
متن کامل